Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics

نویسندگان

چکیده

Aristotelian diagrams, such as the square of opposition, are well-known in context normal modal logics (i.e., systems logic which can be given a relational semantics terms Kripke models). This paper studies diagrams for non-normal (based on neighborhood semantics, topologically inspired generalization semantics). In particular, we investigate phenomenon logic-sensitivity diagrams. We distinguish between four different types logic-sensitivity, viz. with respect to (i) families, (ii) logical equivalence formulas, (iii) contingency and (iv) Boolean subfamilies family. provide concrete examples that illustrate these realm logic. Next, discuss more subtle not sensitive logics, but nevertheless turn out highly logic-sensitive once

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Labelled Tableaux for Non-normal Modal Logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

متن کامل

Lukasiewicz's 4-valued logic and normal modal logics

In this paper, we investigate the Lukasiewicz’s 4-valued modal logic based on the Aristotele’s modal syllogistic. We present a new interpretation of the set of algebraic truth values by introducing the truth and knowledge orderings similar to those in Belnap’s 4-valued bilattice but by replacing the original Belnap’s negation with the lattice pseudo-complement instead. Based on it, we develop a...

متن کامل

Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic

The two main directions pursued in the present paper are the following. The rst direction was (perhaps) started by Pigozzi in 1969. In Mak 91] and Mak 79] Maksimova proved that a normal modal logic (with a single u-nary modality) has the Craig interpolation property ii the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal m...

متن کامل

Shape Heuristics in Aristotelian Diagrams

Aristotelian diagrams have a long and rich history in philosophical logic. Today, they are widely used in nearly all disciplines dealing with logical reasoning. Logical geometry is concerned with the theoretical study of these diagrams, from both a logical and a visual/geometrical perspective. In this paper, we argue that the concrete shape of Aristotelian diagrams can be of great heuristic val...

متن کامل

Three-valued Logics in Modal Logic

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any threevalued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In gene...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Axioms

سال: 2021

ISSN: ['2075-1680']

DOI: https://doi.org/10.3390/axioms10030128